In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

Sorensen here offers a unified solution to a large family of philosophical puzzles and paradoxes through a study of "blindspots": consistent propositions that cannot be rationally accepted by certain individuals even though they might by true.

An entertaining history of the idea of nothing - including absences, omissions, and shadows - from the Ancient Greeks through the 20th century How can nothing cause something? The absence of something might seem to indicate a null or a void, an emptiness as ineffectual as a shadow. In fact, 'nothing' is one of the most powerful ideas the human mind has ever conceived. This short and entertaining book by Roy Sorensen is a lively tour of the history and (...) philosophy of nothing, explaining how various thinkers throughout history have conceived and grappled with the mysterious power of absence -- and how these ideas about shadows, gaps, and holes have in turned played a very positive role in the development of some of humankind's most important ideas. Filled with Sorensen's characteristically entertaining mix of anecdotes, puzzles, curiosities, and philosophical speculation, the book is ordered chronologically, starting with the Taoists, the Buddhists, and the ancient Greeks, moving forward to the middle ages and the early modern period, then up to the existentialists and present day philosophy. The result is a diverting tour through the history of human thought as seen from a novel and unusual perspective. (shrink)

Is science in the midst of a crisis of replicability and false discoveries? In a recent article, Alexander Bird offers an explanation for the apparent lack of replicability in the biomedical sciences. Bird argues that the surprise at the failure to replicate biomedical research is a result of the fallacy of neglecting the base rate. The base-rate fallacy arises in situations in which one ignores the base rate—or prior probability—of an event when assessing the probability of this event in the (...) light of some observed evidence. By extension, the replication crisis would result from ignoring the low prior probability of biomedical hypotheses. In this paper, my response to Bird’s claim is twofold. First, I show that the argument according to which the replication crisis is due to the low prior of biomedical hypotheses is incomplete. Second, I claim that a simple base-rate fallacy model does not account for some important methodological insights that have emerged in discussions of the replication crisis. (shrink)

The recent discussion of the concept of mental disorder has focused on what makes a mental disorder a disorder. A question that has received less attention is what makes a mental disorder mental rather than somatic. We examine three views on this issue -- namely, the internal cause view, the symptom view, and the pluralist view -- and assess to what extent these accounts are plausible. Three strategies used to pinpoint the mental in psychiatry are identified, namely negative characterizations, exemplification (...) of paradigmatic mental features, and an appeal to intentional content. We also examine different versions of nihilism. Finally, it is observed that the discussion of what makes a mental disorder mental has largely been unaffected by conceptions of the mental in the philosophy of mind. (shrink)

Ockham’s razor is the idea that simpler hypotheses are to be preferred over more complex ones. In the context of medical diagnosis, this is taken to mean that when a patient has multiple symptoms, a single diagnosis should be sought that accounts for all the clinical features, rather than attributing a different diagnosis to each. This paper examines whether diagnostic parsimony can be justified by reference to probability theory. I argue that while attempts to offer universal justifications of diagnostic parsimony (...) fail, a more constrained use of this diagnostic principle can be supported. (shrink)

The purpose of this article is to present a normative theory of the goals of medicine (a theory that tells us in what respects medicine should benefit the patient) that is both comprehensive and unified. A review of the relevant literature suggests that there are at least seven plausible goals that are irreducible to each other, namely to promote functioning, to maintain or restore normal structure and function, to promote quality of life, to save and prolong life, to help the (...) patient to cope well with her condition, to improve the external conditions under which people live, and to promote the growth and development of children. However, it seems that all these goals need to be qualified in different ways, e.g. it does not seem reasonable to improve physiological function or functional ability unless this is expected to have positive effects on quality of life and/or length of life, or to improve the quality of life in any respect, or by any means. These qualifications all suggest that the proposed goals are, as goals, conceptually, and not just causally, related to one another, and that they should therefore not be regarded in isolation. Instead, we should think of the medical enterprise as having a multidimensional goal structure rather than a single goal. In order to depict clearly how the different goals are related to one another, a multidimensional model is constructed. (shrink)

This is a defense and extension of Stephen Yablo's claim that self-reference is completely inessential to the liar paradox. An infinite sequence of sentences of the form 'None of these subsequent sentences are true' generates the same instability in assigning truth values. I argue Yablo's technique of substituting infinity for self-reference applies to all so-called 'self-referential' paradoxes. A representative sample is provided which includes counterparts of the preface paradox, Pseudo-Scotus's validity paradox, the Knower, and other enigmas of the genre. I (...) rebut objections that Yablo's paradox is not a genuine liar by constructing a sequence of liars that blend into Yablo's paradox. I rebut objections that Yablo's liar has hidden self-reference with a distinction between attributive and referential self-reference and appeals to Gregory Chaitin's algorithmic information theory. The paper concludes with comments on the mystique of self-reference. (shrink)

Se trata de un articulo que me lo he bajado de la página de Mplus. En realidad es un DRAFT en lugar de un artículo (no lo puedo citar). Explica cómo realizar análisis Bayesianos y cuándo es conveniente utilizarlos. Es una técnica que se emplea al par del Bootstrapping (aunque su base sea diferente). Pero es interesante porque está disponible en análisis multinivel y puede ser útil cuando los parámetros no son normales y o la muestra es pequeña (el ejemplo (...) multinivel que muestra tiene sólamente 10 clusters a nivel between). (shrink)

How to measure fitness in the theory of natural selection? A fitness measure that has been proposed in both the biological and the philosophical literature is the expected relative reproductive success. The aim of this article is to examine the relationship between expected relative reproductive success and future actual evolutionary success. Doing so will not only clarify the use of expected relative reproductive success as a fitness measure but also shed light on the role of fitness in the theory of (...) natural selection. _1_ Introduction _2_ The Role of Fitness _3_ Geometric Mean versus Expected Relative Reproductive Success _4_ Reconciliation _5_ Reconciliation Continued _6_ Alternative Justifications _7_ Conclusion. (shrink)

Roy Sorenson offers a unique exploration of an ancient problem: vagueness. Did Buddha become a fat man in one second? Is there a tallest short giraffe? According to Sorenson's epistemicist approach, the answers are yes! Although vagueness abounds in the way the world is divided, Sorenson argues that the divisions are sharp; yet we often do not know where they are. Written in Sorenson'e usual inventive and amusing style, this book offers original insight on language and logic, the way world (...) is, and our understanding of it. (shrink)

In this book, Sorensen presents the first general theory of the thought experiment. He analyses a wide variety of thought experiments, ranging from aesthetics to zoology, and explores what thought experiments are, how they work, and what their positive and negative aspects are. Sorensen also sets his theory within an evolutionary framework and integrates recent advances in experimental psychology and the history of science.

(1984). Conditional blindspots and the knowledge squeeze: A solution to the prediction paradox. Australasian Journal of Philosophy: Vol. 62, No. 2, pp. 126-135.

In a recent paper, Takacs and Bourrat (Biol Philos 37:12, 2022) examine the use of geometric mean reproductive output as a measure of biological fitness. We welcome Takacs and Bourrat’s scrutiny of a fitness definition that some philosophers have adopted uncritically. We also welcome Takacs and Bourrat’s attempt to marry the philosophical literature on fitness with the biological literature on mathematical measures of fitness. However, some of the main claims made by Takacs and Bourrat are not correct, while others are (...) correct but not for the reasons they give. (shrink)

A so called “weak value” of an observable in quantum mechanics (QM) may be obtained in a weak measurement + post-selection procedure on the QM system under study. Applied to number operators, it has been invoked in revisiting some QM paradoxes (e.g., the so called Three-Box Paradox and Hardy’s Paradox). This requires the weak value to be interpreted as a bona fide property of the system considered, a par with entities like operator mean values and eigenvalues. I question such an (...) interpretation; it has no support in the basic axioms of quantum mechanics and it leads to unreasonable results in concrete situations. (shrink)

This chapter contains sections titled: Paradoxes Stimulate Theory Development An Analogy with Perceptual Illusions Do Logical Paradoxes Exist? Imagination Overflows Logical Possibility Paradoxes Evoke Logical Analogies An Implication about the Nature of Paradox.

The basic theory of preference relations contains a trivial part reflected by axioms A1 and A2, which say that preference relations are preorders. The next step is to find other axims which carry the theory beyond the level of the trivial. This paper is to a great part a critical survey of such suggested axioms. The results are much in the negative — many proposed axioms imply too strange theorems to be acceptable as axioms in a general theory of preference. (...) This does not exclude, of course, that they may well be reasonable axioms for special calculi of preference. I believe that many axioms which are rejected here may be plausible if their range of application is restricted by conditions which are possible to formulate only in a language richer than that of the propositional calculus, e.g. in one containing modal operators or probabilistic concepts. (shrink)

The article examines the relationship between a trait’s effect on survival and reproduction and the notion of functional efficiency underlying the biostatistical theory of health. BST faces the problem of how to measure a trait’s joint effect on survival and reproduction in its account of function. If one measures the joint effect by means of the biological notion of fitness, examples such as the hereditary breast and ovarian cancer syndrome do not count as a disorder. If one does not invoke (...) biological fitness, it is unclear how to measure the joint effect while keeping to BST’s naturalist credentials. (shrink)

The paper starts with a presentation of the pure happiness theory, i.e. the idea that the quality a person’s life is dependent on one thing only, viz. how happy that person is. To find out whether this type of theory is plausible or not, I examine the standard arguments for and against this theory, including Nozick’s experience machine argument. I then investigate how the theory can be modified in order to avoid the most serious objections. I first examine different types (...) of epistemic modifications of the theory (e.g. the idea that a person’s happiness is more valuable for her if it is based on a correct perception of her own life), and then turn to a number of modifications which all make the value of a person’s happiness depend on whether the evaluative standard on which her happiness is based satisfies certain requirements. In connection with this, I present and defend my own modified version of the happiness theory. (shrink)

During recent years, there has been a growing awareness that a better understanding of human activities and the behavioural components of environmental problems is needed. This volume brings together psychologists, philosophers, sociologists, historians of technology and economics, and management experts to identify and examine the rules and motives that govern the environmental behaviour of individuals, households, organizations and society as a whole. Illustrated with case studies from Scandinavia, it shows how behaviours with negative or positive environmental effects are often performed (...) without such consequences in mind. The book discusses how change towards positive environmental behaviour often conflicts with deep-rooted habits as well as exploring the importance for environmental practice of different everyday contexts. By presenting this multi-disciplinary analysis, the volume provides a comprehensive understanding of how behavioural change in relation to the environment can come about and how this can be integrated in the political framework. (shrink)

From good intentions to real life: introducing crisis resolution teams in Norway In Norway, as in most western countries, the adult services for people experiencing mental health problems have gone through major changes over the last decades. A report submitted to the Norwegian Parliament in 1997 summarized several areas of improvement in the provision of mental health‐care to its population, and led to the introduction of a national mental health programme in 1998 for its implementation to be completed by 2008. (...) The most significant recent development in Norway is ‘Crisis Resolution/Home Treatment’ (CRHT) teams that provide an alternative to acute hospital care services. The major aim of this study is to explore an emerging form of community mental health‐care, and present a framework for establishment and examination of CRHT teams applying the user perspectives. An illustration of user experiences in an already established CRHT team provides a background for understanding implications of this form of service in relation to service users’ needs in acute crises. (shrink)

This article attempts to explore some current theoretical problems within the field of postcolonial studies. In particular, I address Ato Quayson's recent complaint that postcolonial theorists generally have failed to ‘provide a persuasive account of literature and history simultaneously’, a problem which I link to what I see as the field's theoretical obsession with the concept of ‘representation’; I argue that the field's disciplinary ambition to represent, authoritatively, the postcolonial per se necessarily but also problematically circumscribes and limits its relation (...) to discourses of historical representation and literary representation. On an aesthetic level, this problematic is expressed through postcolonial studies’ troubled relationship with literary realism as an aesthetic form. In a wider perspective, I connect the field's disparagement of literary realism with Lazarus's notion of the ‘postcolonial unconscious’, i.e. postcolonial studies’ failure to grasp and address some of the deeper global-political contradictions. (shrink)

The eclipse riddle -- Seeing surfaces -- The disappearing act -- Spinning shadows -- Berkeley's shadow -- Para-reflections -- Para-refractions : shadowgrams and the black drop -- Goethe's colored shadows -- Filtows -- Holes in the light -- Black and blue -- Seeing in black and white -- We see in the dark -- Hearing silence.

Sorites arguments employ an induction step such as ‘Small numbers have small successors’. People deduce that there must be an exception to the generalization but are reluctant to conclude that the generalization is false. My hypothesis is that the reluctance is due to the "Generic Overgeneralization Effect". Although the propounder of the sorites paradox intends the induction step to be a universal generalization, hearers assimilate universal generalizations to generic generalizations (for instance, ‘All birds fly’ tends to be remembered as ‘Birds (...) fly’). Most generic generalizations tolerate exceptions – especially when those exceptions are rare, abnormal, or difficult to imagine. Any counterexample to the induction step will have all of these features. (shrink)